Software verification - PDFSEARCH.IO - Document Search Engine

Software verification
Results: 1531

#	Item
131	This article has been accepted for publication in IEEE Software but has not yet been fully edited. Some content may change prior to final publication. Effective Quality Management: Risk- and Value-based Software Quality Add to Reading List Source URL: www.isq.uni-koeln.de Language: English - Date: 2013-11-22 03:18:27 Systems engineering Software quality Pharmaceutical industry Validity Software project management Validation Quality assurance Risk management Verification and validation Software verification and validation Environmental Quality Management Quality management
132	Modular Verification of Collaboration-Based Software Designs Kathi Fisler Shriram Krishnamurthi Add to Reading List Source URL: web.cs.wpi.edu Language: English - Date: 2001-08-24 21:30:06 Keyword cipher Toledo Nanochess Index of Abkhazia-related articles
133	A Software Safety Certification Tool for Automatically Generated Guidance, Navigation and Control Code Add to Reading List Source URL: ti.arc.nasa.gov Language: English Cross-platform software Numerical software Formal methods Simulation software Linear algebra MATLAB Simulink Verification condition generator Formal verification Command-line interface HTML element
134	Formal Safety Certification of Auto-Generated Aerospace Software Ewen Denney and Bernd Fischer {edenney,fisch}@email.arc.nasa.gov USRA/RIACS, NASA Ames Research Center, Moffett Field, CA 94035, USA Code generators can ad Add to Reading List Source URL: ti.arc.nasa.gov Language: English Formal methods Theoretical computer science Failure Materials science Reliability engineering Survival analysis DO-178B Exception handling Formal verification Software development process KeY Software development
135	A Tool Bus for Anytime Verification? Natarajan Shankar1 Computer Science Laboratory SRI International Menlo Park CAUSA Add to Reading List Source URL: fm.csl.sri.com Language: English - Date: 2010-11-11 10:23:46 Formal methods Logic in computer science Theoretical computer science Systems engineering Formal verification Model checking Satisfiability modulo theories Verification Correctness Software verification
136	Rodin in the field of railway system engineering Tomas Fischer Thales Austria GmbH, Handelskai 92, 1200 Vienna, Austria, Abstract. Railway signaling systems are required to provide the high Add to Reading List Source URL: wiki.event-b.org Language: English - Date: 2016-05-20 11:40:08 Formal methods Standards Systems engineering Software quality European Committee for Electrotechnical Standardization Specification Verification Standardization Reliability engineering SIGNAL Formal specification Rodin tool
137	A Generic Software Safety Document Generator Ewen Denney1 and Ram Prasad Venkatesan?,2 1 2 Add to Reading List Source URL: ti.arc.nasa.gov Language: English Formal methods Theoretical computer science IP Integration by substitution Hoare logic Substitution Mathematical proof KeY Predicate transformer semantics Verification condition generator Initialization Linear temporal logic
138	DATASHEET Univa Grid Engine - Veloce Edition Workload scheduling and optimization combined with Veloce verification operation system for accelerated design verification SIGNIFICANTLY REDUCE HARDWARE COSTS AND Add to Reading List Source URL: www.univa.com Language: English - Date: 2016-06-10 09:18:28 Grid computing Job scheduling Cluster computing Parallel computing Supercomputers Univa Oracle Grid Engine System on a chip Workload Scheduling Comparison of cluster software Job scheduler
139	A Verification-Driven Approach to Traceability and Documentation for Auto-Generated Mathematical Software Ewen Denney SGT / NASA Ames Moffett Field, CA 94035 Add to Reading List Source URL: ti.arc.nasa.gov Language: English Software requirements Formal methods Procedural programming languages Requirement Comment Formal verification Traceability Axiom C Mathematical proof Metamath
140	Cyber Security Engineering Did you know…AREVA offers a diverse team of cyber security engineering resources as an extension of your team? And we understand that the real success is in an ongoing relationship — one wh Add to Reading List Source URL: us.areva.com Language: English - Date: 2015-06-29 11:30:38 Pharmaceutical industry Validity Areva EPR Computer security Verification and validation Validation Software verification and validation

UPDATE